/**
 *
 */
package asa;

/**
 * "levanta"
 * @author José
 *
 */
public class LevantaActorStat extends ActorStat {

    @Override
	public void genJava(PWInterface pw) {
		genJava(pw, null);
	}

	@Override
	public void genJava(PWInterface pw, Env env) {
    	pw.printlnIdent("penUp();");
    }


}
